CD AUX:<CL.THM> PS:<MACLISP>COMPLR BASIS.LISP(W) ;;CROCK0.LSP CROCK1.LSP GENFACT.LISP(W) CROCK2.LSP EVENTS.LISP(W) CROCK3.LSP CODE-1-A.LISP(W) CODE-B-D.LISP(W) CODE-E-M.LISP(W) CODE-N-R.LISP(W) CODE-S-Z.LISP(W) IO.LISP(W) PPR.LISP(W) TOPS-20-EMACS-TO-THM.LISP(W) MAKE-THM.LISP(W)